extern void as_start();


int main(int argc, char *argv[])
{
	as_start();
}
